;; data generated for ICDL 2010 
;; parameters
;;   unobservable: [u1, u2, u3]
;;   observable: [o2, o15, o7, o10, o12, o9, o5, o14, o1, o4, o3, o11, o13, o8, o6]
;;   numEpisodes - 50 meanLength - 100
;; bp
;; --------------
;;   ("o4" 0 2)
;;   ("o12" 4 6)
;;   ("o4" 4 8)
;;   ("u3" 1 11)
;;   ("o14" 5 13)
;;   ("o10" 7 14)
;;   ("o12" 12 16)
;;   ("o4" 10 18)
;;   ("o2" 15 20)
;;   ("o7" 6 22)
;;   ("o4" 19 24)
;;   ("o5" 3 25)
;;   ("o11" 5 25)
;;   ("o9" 13 26)
;;   ("o3" 6 27)
;;   ("o12" 25 28)
;;   ("u1" 6 29)
;;   ("u3" 17 30)
;;   ("o14" 23 31)
;;   ("o15" 9 32)
;;   ("o13" 21 32)
;;   ("u2" 21 33)
;; --------------
;; core
;; --------------------------------
;;  name:o2 start:30 length:5
;;  name:o15 start:21 length:38
;;  name:o7 start:16 length:22
;;  name:o10 start:19 length:10
;;  name:o12 start:10 length:6
;;  name:o12 start:27 length:4
;;  name:o12 start:45 length:6
;;  name:o9 start:28 length:20
;;  name:o5 start:8 length:37
;;  name:o14 start:12 length:16
;;  name:o14 start:40 length:17
;;  name:o4 start:0 length:7
;;  name:o4 start:10 length:10
;;  name:o4 start:23 length:10
;;  name:o4 start:34 length:8
;;  name:o3 start:16 length:33
;;  name:o11 start:12 length:33
;;  name:o13 start:36 length:23
;;  name:u1 start:16 length:39
;;  name:u2 start:36 length:37
;;  name:u3 start:1 length:23
;;  name:u3 start:32 length:24
;; patternLength:73
;; --------------------------------
(0
 (
 ("o4" 1 8)
 ("o12" 11 17)
 ("o4" 11 21)
 ("u3" 2 25)
 ("o14" 13 29)
 ("o10" 20 30)
 ("o12" 28 32)
 ("u3" 31 32)
 ("o4" 24 34)
 ("o13" 16 36)
 ("o2" 31 36)
 ("o7" 17 39)
 ("o4" 35 43)
 ("o5" 9 46)
 ("o11" 13 46)
 ("o9" 29 49)
 ("o10" 31 49)
 ("o3" 17 50)
 ("o12" 46 52)
 ("u1" 17 56)
 ("u3" 33 57)
 ("o14" 41 58)
 ("o15" 22 60)
 ("o13" 37 60)
 ("u2" 37 74)
 ("o14" 59 82)
 ("o2" 45 87)
 ("o10" 73 95)
 ("o8" 17 96)
 ("o5" 71 99)
 ("o3" 75 99)
 ("o7" 74 109)
 ("o11" 47 115)
 ("o1" 62 121)
 ("u1" 57 122)
 ("o6" 85 123)
 ("u2" 75 124)
 ("o9" 61 126)
 ("o15" 61 136)
))
(1
 (
 ("o4" 1 8)
 ("o2" 6 9)
 ("o7" 15 16)
 ("o12" 11 17)
 ("o2" 10 18)
 ("o10" 5 19)
 ("o4" 11 21)
 ("o1" 10 23)
 ("u3" 2 25)
 ("o2" 20 25)
 ("o12" 18 27)
 ("o14" 13 29)
 ("o10" 20 30)
 ("o2" 29 30)
 ("o12" 28 32)
 ("o4" 24 34)
 ("o2" 31 36)
 ("o2" 37 38)
 ("o7" 17 39)
 ("o14" 30 40)
 ("o4" 35 43)
 ("o8" 42 45)
 ("o5" 9 46)
 ("o11" 13 46)
 ("o10" 36 46)
 ("o1" 38 47)
 ("o9" 29 49)
 ("o3" 17 50)
 ("o2" 42 50)
 ("o12" 46 52)
 ("u1" 17 56)
 ("u3" 33 57)
 ("o14" 41 58)
 ("o15" 22 60)
 ("o13" 37 60)
 ("o2" 55 60)
 ("o5" 47 69)
 ("o2" 62 70)
 ("o1" 66 71)
 ("u2" 37 74)
 ("o10" 70 78)
 ("o2" 76 85)
 ("o8" 80 85)
 ("o1" 80 94)
 ("o9" 59 101)
 ("o13" 73 114)
 ("o7" 69 117)
 ("o15" 71 125)
 ("o11" 56 127)
 ("o5" 84 132)
 ("o3" 60 142)
 ("o4" 68 142)
 ("o6" 65 152)
 ("u1" 69 154)
))
(2
 (
 ("o5" 2 14)
 ("o4" 13 20)
 ("o5" 16 20)
 ("o11" 22 24)
 ("o12" 23 29)
 ("o10" 17 31)
 ("o4" 23 33)
 ("o4" 34 35)
 ("u3" 14 37)
 ("o14" 25 41)
 ("o2" 37 41)
 ("o10" 32 42)
 ("o8" 27 43)
 ("o12" 40 44)
 ("o4" 36 46)
 ("u2" 9 48)
 ("o2" 43 48)
 ("o7" 29 51)
 ("o1" 5 53)
 ("o4" 47 55)
 ("o5" 21 58)
 ("o11" 25 58)
 ("o9" 41 61)
 ("o3" 29 62)
 ("o12" 58 64)
 ("u1" 29 68)
 ("o5" 59 68)
 ("u3" 45 69)
 ("o14" 53 70)
 ("o2" 69 70)
 ("o12" 65 71)
 ("o15" 34 72)
 ("o13" 49 72)
 ("o8" 61 76)
 ("o5" 70 81)
 ("u2" 49 86)
 ("o6" 76 86)
 ("o14" 71 89)
 ("o5" 87 95)
 ("o12" 94 97)
 ("o1" 58 100)
 ("u1" 77 101)
 ("o15" 92 130)
 ("o3" 63 142)
 ("o4" 94 143)
 ("o13" 77 145)
 ("o9" 92 172)
 ("u2" 92 172)
))
(3
 (
 ("o4" 9 16)
 ("o5" 15 16)
 ("o12" 3 18)
 ("o12" 19 25)
 ("o10" 24 27)
 ("o4" 19 29)
 ("u3" 10 33)
 ("o12" 26 35)
 ("o14" 21 37)
 ("o10" 28 38)
 ("o12" 36 40)
 ("o4" 32 42)
 ("u2" 27 44)
 ("o2" 39 44)
 ("o7" 25 47)
 ("o14" 47 48)
 ("o4" 43 51)
 ("o5" 17 54)
 ("o11" 21 54)
 ("o9" 37 57)
 ("o3" 25 58)
 ("o12" 54 60)
 ("u1" 25 64)
 ("u3" 41 65)
 ("o14" 49 66)
 ("o7" 63 67)
 ("o15" 30 68)
 ("o13" 45 68)
 ("o8" 21 73)
 ("o12" 61 78)
 ("o1" 6 80)
 ("u2" 45 82)
 ("o13" 80 91)
 ("u3" 66 98)
 ("o3" 66 103)
 ("o4" 52 105)
 ("o11" 75 106)
 ("o12" 85 107)
 ("o6" 8 110)
 ("o2" 79 129)
 ("o9" 86 135)
 ("u1" 78 148)
 ("o8" 84 152)
 ("o1" 91 172)
))
(4
 (
 ("o4" 2 9)
 ("o12" 12 18)
 ("o4" 12 22)
 ("o4" 23 24)
 ("u3" 3 26)
 ("o14" 14 30)
 ("o10" 21 31)
 ("u3" 27 33)
 ("o12" 29 33)
 ("o4" 25 35)
 ("u2" 18 37)
 ("o2" 32 37)
 ("o7" 18 40)
 ("o4" 36 44)
 ("o5" 10 47)
 ("o11" 14 47)
 ("o9" 30 50)
 ("o3" 18 51)
 ("o12" 47 53)
 ("u1" 18 57)
 ("u3" 34 58)
 ("o14" 42 59)
 ("o15" 23 61)
 ("o13" 38 61)
 ("o7" 46 63)
 ("o8" 22 68)
 ("u2" 38 75)
 ("o10" 71 86)
 ("o13" 84 100)
 ("o6" 98 107)
 ("u3" 87 119)
 ("o11" 55 121)
 ("o2" 76 132)
 ("o15" 84 149)
 ("o14" 68 150)
 ("o3" 67 151)
 ("o4" 81 154)
 ("o12" 67 157)
 ("o1" 67 160)
 ("o9" 72 163)
 ("u1" 79 167)
 ("o5" 88 167)
))
(5
 (
 ("o4" 5 12)
 ("u1" 12 20)
 ("o12" 15 21)
 ("o10" 15 23)
 ("o15" 3 25)
 ("o4" 15 25)
 ("u3" 6 29)
 ("o14" 17 33)
 ("o10" 24 34)
 ("o12" 32 36)
 ("o4" 28 38)
 ("o13" 15 40)
 ("o2" 35 40)
 ("o1" 21 41)
 ("o7" 21 43)
 ("o4" 39 47)
 ("o5" 13 50)
 ("o11" 17 50)
 ("o9" 33 53)
 ("o3" 21 54)
 ("o11" 51 55)
 ("o12" 50 56)
 ("u1" 21 60)
 ("u3" 37 61)
 ("o3" 55 61)
 ("o14" 45 62)
 ("o15" 26 64)
 ("o13" 41 64)
 ("o5" 51 71)
 ("u3" 62 73)
 ("o15" 65 74)
 ("o2" 57 77)
 ("u2" 41 78)
 ("o10" 55 83)
 ("o8" 10 84)
 ("o11" 79 88)
 ("o4" 69 93)
 ("o14" 63 96)
 ("o15" 75 96)
 ("o1" 67 100)
 ("o6" 67 100)
 ("o12" 57 101)
 ("o9" 56 119)
 ("u2" 79 123)
 ("o7" 69 162)
))
(6
 (
 ("o4" 4 11)
 ("o11" 10 12)
 ("o12" 14 20)
 ("o4" 14 24)
 ("u3" 5 28)
 ("o14" 16 32)
 ("o10" 23 33)
 ("o12" 31 35)
 ("o4" 27 37)
 ("o2" 34 39)
 ("o7" 20 42)
 ("o14" 33 43)
 ("o4" 38 46)
 ("o12" 36 48)
 ("o5" 12 49)
 ("o11" 16 49)
 ("o9" 32 52)
 ("o3" 20 53)
 ("o12" 49 55)
 ("o11" 55 56)
 ("u1" 20 59)
 ("u3" 36 60)
 ("o14" 44 61)
 ("o3" 54 61)
 ("o15" 25 63)
 ("o13" 40 63)
 ("o10" 36 68)
 ("o11" 68 70)
 ("u2" 40 77)
 ("o11" 86 87)
 ("o1" 10 95)
 ("o11" 95 97)
 ("o14" 78 107)
 ("u3" 91 107)
 ("o6" 70 112)
 ("o10" 98 117)
 ("o7" 43 120)
 ("o8" 21 123)
 ("o15" 64 123)
 ("u2" 78 136)
 ("o5" 71 143)
 ("u1" 64 144)
 ("o4" 47 156)
 ("o2" 74 163)
))
(7
 (
 ("o11" 9 10)
 ("o11" 19 21)
 ("o4" 16 23)
 ("o3" 26 31)
 ("o12" 26 32)
 ("o4" 26 36)
 ("u3" 17 40)
 ("o9" 21 43)
 ("o14" 28 44)
 ("o10" 35 45)
 ("o12" 43 47)
 ("o4" 39 49)
 ("o2" 46 51)
 ("o7" 32 54)
 ("o4" 50 58)
 ("o5" 24 61)
 ("o11" 28 61)
 ("o9" 44 64)
 ("o3" 32 65)
 ("o12" 61 67)
 ("o5" 62 69)
 ("o11" 68 69)
 ("u1" 32 71)
 ("u3" 48 72)
 ("o14" 56 73)
 ("o15" 37 75)
 ("o13" 52 75)
 ("o6" 68 75)
 ("o7" 66 76)
 ("o13" 76 77)
 ("o2" 67 83)
 ("o11" 82 83)
 ("u2" 52 89)
 ("o4" 59 96)
 ("u3" 73 103)
 ("o14" 74 103)
 ("o1" 62 105)
 ("o3" 84 124)
 ("o8" 70 133)
 ("u1" 72 146)
 ("u2" 90 157)
 ("o12" 76 167)
))
(8
 (
 ("o4" 0 7)
 ("o3" 3 7)
 ("o3" 12 13)
 ("o12" 10 16)
 ("o4" 10 20)
 ("u3" 1 24)
 ("o14" 12 28)
 ("o2" 8 29)
 ("o10" 19 29)
 ("o6" 22 30)
 ("u3" 25 31)
 ("o12" 27 31)
 ("o4" 23 33)
 ("u2" 17 35)
 ("o2" 30 35)
 ("o7" 16 38)
 ("o4" 34 42)
 ("o5" 8 45)
 ("o11" 12 45)
 ("o9" 28 48)
 ("o3" 16 49)
 ("o12" 45 51)
 ("o3" 50 52)
 ("u1" 16 55)
 ("u3" 32 56)
 ("o14" 40 57)
 ("o15" 21 59)
 ("o13" 36 59)
 ("o3" 58 60)
 ("o1" 21 62)
 ("o6" 62 69)
 ("o3" 67 69)
 ("u2" 36 73)
 ("o3" 75 76)
 ("o3" 81 83)
 ("o2" 60 103)
 ("o13" 60 105)
 ("o10" 58 109)
 ("o5" 76 120)
 ("o11" 46 121)
 ("o1" 76 127)
 ("o12" 80 127)
 ("o9" 75 134)
 ("o8" 76 136)
 ("u2" 78 139)
 ("u1" 59 140)
 ("u3" 72 146)
 ("o14" 75 151)
 ("o4" 69 166)
))
(9
 (
 ("o4" 3 10)
 ("o14" 10 14)
 ("o7" 1 18)
 ("o3" 11 18)
 ("o12" 13 19)
 ("u2" 19 20)
 ("o15" 17 22)
 ("o4" 13 23)
 ("o4" 24 25)
 ("u3" 4 27)
 ("o14" 15 31)
 ("o10" 22 32)
 ("o12" 30 34)
 ("o4" 26 36)
 ("u2" 32 36)
 ("o2" 33 38)
 ("o7" 19 41)
 ("o14" 35 42)
 ("o6" 2 43)
 ("o2" 39 43)
 ("o4" 37 45)
 ("o8" 4 46)
 ("o5" 11 48)
 ("o11" 15 48)
 ("o9" 31 51)
 ("o3" 19 52)
 ("o12" 48 54)
 ("u1" 19 58)
 ("o10" 35 59)
 ("u3" 35 59)
 ("o14" 43 60)
 ("o15" 24 62)
 ("o13" 39 62)
 ("u2" 39 76)
 ("o2" 73 76)
 ("o6" 45 78)
 ("o15" 68 81)
 ("o14" 71 82)
 ("o11" 63 85)
 ("o8" 52 87)
 ("u2" 84 87)
 ("o9" 69 88)
 ("o5" 49 92)
 ("o4" 66 103)
 ("o3" 57 112)
 ("o1" 58 113)
 ("o13" 83 116)
 ("o6" 79 121)
 ("o12" 65 131)
 ("u3" 60 143)
 ("u1" 82 171)
))
(10
 (
 ("o4" 9 19)
 ("o5" 14 27)
 ("o4" 20 27)
 ("o12" 4 28)
 ("o11" 9 31)
 ("u1" 5 35)
 ("o12" 30 36)
 ("o9" 27 38)
 ("o15" 28 40)
 ("o4" 30 40)
 ("u3" 21 44)
 ("o12" 39 46)
 ("o14" 32 48)
 ("o10" 39 49)
 ("o12" 47 51)
 ("o4" 43 53)
 ("o13" 20 55)
 ("u2" 47 55)
 ("o2" 50 55)
 ("o7" 36 58)
 ("o14" 49 59)
 ("o4" 54 62)
 ("o5" 28 65)
 ("o11" 32 65)
 ("o9" 48 68)
 ("o3" 36 69)
 ("o12" 65 71)
 ("u1" 36 75)
 ("u3" 52 76)
 ("o14" 60 77)
 ("o15" 41 79)
 ("o13" 56 79)
 ("o5" 66 80)
 ("o9" 79 85)
 ("o6" 6 91)
 ("u2" 56 93)
 ("o12" 72 97)
 ("o1" 76 97)
 ("o11" 66 106)
 ("o5" 92 119)
 ("u1" 76 120)
 ("o4" 77 139)
 ("o2" 95 142)
 ("o10" 84 144)
 ("o8" 95 153)
 ("o7" 75 154)
 ("o6" 96 160)
 ("o3" 79 169)
))
(11
 (
 ("o14" 9 13)
 ("o4" 21 28)
 ("o14" 29 32)
 ("o9" 3 33)
 ("o7" 33 36)
 ("o12" 31 37)
 ("o4" 31 41)
 ("u3" 22 45)
 ("u2" 24 45)
 ("o9" 37 48)
 ("o14" 33 49)
 ("o10" 40 50)
 ("o12" 48 52)
 ("o4" 44 54)
 ("o2" 51 56)
 ("o7" 37 59)
 ("o14" 57 60)
 ("o4" 55 63)
 ("o1" 10 64)
 ("o12" 57 65)
 ("o5" 29 66)
 ("o11" 33 66)
 ("o9" 49 69)
 ("o11" 67 69)
 ("o3" 37 70)
 ("o12" 66 72)
 ("u1" 37 76)
 ("o3" 71 76)
 ("u3" 53 77)
 ("o14" 61 78)
 ("o5" 67 79)
 ("o15" 42 80)
 ("o13" 57 80)
 ("o14" 79 84)
 ("o6" 7 87)
 ("o9" 70 87)
 ("u2" 57 94)
 ("o10" 65 95)
 ("o14" 91 96)
 ("u1" 91 100)
 ("o1" 69 107)
 ("o4" 103 108)
 ("o9" 88 109)
 ("o14" 104 113)
 ("u3" 81 115)
 ("o8" 61 137)
 ("o15" 81 143)
 ("o9" 111 148)
 ("o1" 111 151)
 ("o2" 57 158)
 ("o13" 107 158)
 ("o6" 90 168)
))
(12
 (
 ("u3" 2 13)
 ("o15" 6 14)
 ("o4" 13 20)
 ("o2" 25 26)
 ("o15" 16 28)
 ("o12" 23 29)
 ("o10" 22 31)
 ("o4" 23 33)
 ("o15" 32 33)
 ("u3" 14 37)
 ("o14" 25 41)
 ("o10" 32 42)
 ("o12" 40 44)
 ("o4" 36 46)
 ("o2" 43 48)
 ("o7" 29 51)
 ("o2" 51 52)
 ("o4" 47 55)
 ("o5" 21 58)
 ("o11" 25 58)
 ("o9" 41 61)
 ("o3" 29 62)
 ("o5" 59 62)
 ("o12" 58 64)
 ("u1" 29 68)
 ("u3" 45 69)
 ("o14" 53 70)
 ("o15" 34 72)
 ("o13" 49 72)
 ("o15" 73 74)
 ("o2" 74 75)
 ("o15" 78 83)
 ("o6" 3 86)
 ("u2" 49 86)
 ("o12" 67 92)
 ("u2" 87 92)
 ("o9" 81 97)
 ("o15" 84 97)
 ("o15" 106 116)
 ("u1" 91 117)
 ("o7" 86 133)
 ("o11" 61 134)
 ("o3" 70 149)
 ("o14" 89 171)
 ("o6" 92 176)
 ("o13" 73 180)
 ("o1" 95 197)
 ("o8" 104 198)
))
(13
 (
 ("o1" 4 6)
 ("o4" 1 8)
 ("o12" 11 17)
 ("o1" 14 17)
 ("o10" 18 19)
 ("o4" 11 21)
 ("o1" 22 23)
 ("u3" 2 25)
 ("o9" 1 28)
 ("o14" 13 29)
 ("u2" 27 29)
 ("o10" 20 30)
 ("o12" 28 32)
 ("o4" 24 34)
 ("o1" 30 35)
 ("o2" 31 36)
 ("o7" 17 39)
 ("o14" 30 40)
 ("o1" 39 40)
 ("o4" 35 43)
 ("o5" 9 46)
 ("o11" 13 46)
 ("o9" 29 49)
 ("o3" 17 50)
 ("o12" 46 52)
 ("o1" 52 54)
 ("u1" 17 56)
 ("u3" 33 57)
 ("o14" 41 58)
 ("o15" 22 60)
 ("o13" 37 60)
 ("o6" 1 64)
 ("o1" 62 66)
 ("o7" 40 72)
 ("o1" 72 73)
 ("u2" 37 74)
 ("o3" 51 76)
 ("o1" 76 79)
 ("o1" 85 89)
 ("u2" 90 95)
 ("o9" 50 96)
 ("o10" 61 98)
 ("o5" 78 98)
 ("o11" 47 100)
 ("o1" 98 100)
 ("u3" 58 106)
 ("o1" 107 108)
 ("o12" 77 112)
 ("o15" 61 114)
 ("o6" 65 118)
 ("u1" 57 124)
 ("o2" 97 125)
 ("o7" 82 135)
 ("o10" 109 140)
 ("o3" 107 144)
 ("o9" 98 151)
 ("o8" 39 153)
 ("o13" 97 161)
 ("o4" 64 184)
 ("o14" 108 200)
))
(14
 (
 ("o4" 13 24)
 ("o4" 31 33)
 ("u3" 25 34)
 ("o10" 7 36)
 ("o11" 24 39)
 ("o4" 34 41)
 ("o3" 32 49)
 ("o12" 44 50)
 ("o10" 49 52)
 ("o4" 44 54)
 ("u2" 50 54)
 ("u3" 35 58)
 ("o14" 46 62)
 ("o8" 60 62)
 ("o2" 11 63)
 ("o10" 53 63)
 ("o12" 61 65)
 ("o4" 57 67)
 ("o13" 63 69)
 ("o2" 64 69)
 ("o1" 16 70)
 ("o7" 50 72)
 ("o6" 53 74)
 ("o4" 68 76)
 ("o5" 42 79)
 ("o11" 46 79)
 ("o9" 62 82)
 ("o3" 50 83)
 ("o12" 79 85)
 ("u1" 50 89)
 ("u3" 66 90)
 ("o14" 74 91)
 ("o15" 55 93)
 ("o13" 70 93)
 ("o12" 89 100)
 ("u2" 70 107)
 ("o4" 92 109)
 ("u2" 108 111)
 ("o11" 101 113)
 ("o7" 73 114)
 ("o9" 83 122)
 ("o15" 94 137)
 ("u3" 91 138)
 ("o10" 95 140)
 ("o1" 91 150)
 ("o14" 102 156)
 ("u1" 90 159)
))
(15
 (
 ("o4" 6 13)
 ("o12" 16 22)
 ("o4" 16 26)
 ("u3" 7 30)
 ("o12" 23 32)
 ("o9" 17 33)
 ("o14" 18 34)
 ("o10" 25 35)
 ("o12" 33 37)
 ("o4" 29 39)
 ("o13" 5 41)
 ("o2" 36 41)
 ("o7" 22 44)
 ("o14" 35 45)
 ("o4" 40 48)
 ("o5" 14 51)
 ("o11" 18 51)
 ("o9" 34 54)
 ("o3" 22 55)
 ("o12" 51 57)
 ("u1" 22 61)
 ("u3" 38 62)
 ("o3" 56 62)
 ("o14" 46 63)
 ("o15" 27 65)
 ("o13" 42 65)
 ("o6" 70 76)
 ("u2" 42 79)
 ("o11" 64 99)
 ("u3" 74 109)
 ("o10" 70 114)
 ("o9" 76 116)
 ("u2" 82 117)
 ("o1" 61 119)
 ("o15" 66 125)
 ("o3" 92 126)
 ("u1" 62 135)
 ("o2" 100 154)
 ("o4" 49 169)
 ("o7" 101 175)
 ("o8" 87 184)
 ("o13" 108 211)
))
(16
 (
 ("o4" 13 20)
 ("o14" 23 24)
 ("o12" 23 29)
 ("o4" 23 33)
 ("u3" 14 37)
 ("o14" 25 41)
 ("o2" 7 42)
 ("o10" 32 42)
 ("u3" 39 44)
 ("o12" 40 44)
 ("o4" 36 46)
 ("u2" 28 48)
 ("o2" 43 48)
 ("o1" 9 51)
 ("o7" 29 51)
 ("o4" 47 55)
 ("o12" 48 57)
 ("o5" 21 58)
 ("o11" 25 58)
 ("o9" 41 61)
 ("o8" 57 61)
 ("o3" 29 62)
 ("o12" 58 64)
 ("u1" 29 68)
 ("u3" 45 69)
 ("o14" 53 70)
 ("o15" 34 72)
 ("o13" 49 72)
 ("o6" 73 79)
 ("u2" 49 86)
 ("o14" 71 97)
 ("o10" 74 112)
 ("o1" 72 116)
 ("o15" 97 127)
 ("o9" 62 132)
 ("u1" 74 132)
 ("o11" 97 136)
 ("o7" 75 138)
 ("o5" 72 139)
 ("o13" 73 158)
 ("o3" 67 161)
 ("o2" 96 171)
 ("o4" 72 192)
))
(17
 (
 ("o4" 10 17)
 ("u1" 5 20)
 ("o15" 13 20)
 ("o7" 4 25)
 ("u1" 23 25)
 ("o12" 20 26)
 ("o4" 20 30)
 ("o4" 31 32)
 ("u3" 11 34)
 ("o9" 24 37)
 ("o14" 22 38)
 ("o10" 29 39)
 ("o12" 37 41)
 ("o4" 33 43)
 ("o2" 40 45)
 ("o7" 26 48)
 ("o14" 39 49)
 ("o6" 47 50)
 ("o4" 44 52)
 ("o12" 42 54)
 ("o5" 18 55)
 ("o11" 22 55)
 ("o9" 38 58)
 ("o3" 26 59)
 ("o12" 55 61)
 ("o10" 40 63)
 ("u1" 26 65)
 ("u3" 42 66)
 ("o14" 50 67)
 ("o15" 31 69)
 ("o13" 46 69)
 ("u1" 66 70)
 ("o1" 66 77)
 ("o15" 70 79)
 ("u2" 46 83)
 ("o2" 47 85)
 ("u1" 72 86)
 ("o8" 48 88)
 ("o4" 69 94)
 ("u1" 87 100)
 ("o11" 63 105)
 ("o3" 60 118)
 ("o5" 56 122)
 ("o10" 88 128)
 ("u3" 67 129)
 ("o7" 79 129)
 ("o13" 70 136)
))
(18
 (
 ("o4" 9 16)
 ("o12" 19 25)
 ("o4" 19 29)
 ("u3" 10 33)
 ("o14" 21 37)
 ("o10" 28 38)
 ("o2" 32 38)
 ("o12" 36 40)
 ("u3" 38 40)
 ("o4" 32 42)
 ("o2" 39 44)
 ("o7" 25 47)
 ("o4" 43 51)
 ("o12" 44 53)
 ("o5" 17 54)
 ("o11" 21 54)
 ("o9" 37 57)
 ("o3" 25 58)
 ("o12" 54 60)
 ("u1" 25 64)
 ("u3" 41 65)
 ("o14" 49 66)
 ("o15" 30 68)
 ("o13" 45 68)
 ("o9" 58 77)
 ("u1" 65 81)
 ("u2" 45 82)
 ("o11" 55 90)
 ("o3" 59 108)
 ("o15" 69 127)
 ("o1" 47 129)
 ("u2" 83 132)
 ("o4" 88 146)
 ("o8" 70 152)
 ("o6" 80 159)
 ("o5" 88 170)
 ("o10" 90 170)
))
(19
 (
 ("o4" 3 10)
 ("o12" 10 12)
 ("u1" 10 18)
 ("o12" 13 19)
 ("o15" 8 23)
 ("o4" 13 23)
 ("u3" 4 27)
 ("o9" 13 30)
 ("o14" 15 31)
 ("o10" 22 32)
 ("o12" 30 34)
 ("o4" 26 36)
 ("o2" 33 38)
 ("o7" 19 41)
 ("o12" 35 41)
 ("o10" 33 42)
 ("o4" 37 45)
 ("o1" 2 46)
 ("o5" 11 48)
 ("o11" 15 48)
 ("o9" 31 51)
 ("o3" 19 52)
 ("o7" 42 52)
 ("o12" 48 54)
 ("u1" 19 58)
 ("u3" 35 59)
 ("o14" 43 60)
 ("o6" 50 61)
 ("o15" 24 62)
 ("o13" 39 62)
 ("o12" 55 62)
 ("u1" 59 62)
 ("o1" 47 73)
 ("o10" 65 74)
 ("o14" 66 74)
 ("u2" 39 76)
 ("o9" 62 76)
 ("o4" 52 86)
 ("o3" 53 91)
 ("o2" 50 92)
 ("u3" 73 100)
 ("o1" 75 103)
 ("u1" 75 104)
 ("o7" 75 119)
 ("o11" 73 121)
 ("o15" 71 124)
 ("u2" 77 126)
 ("o13" 68 127)
 ("o8" 72 132)
))
(20
 (
 ("u1" 11 30)
 ("o4" 19 32)
 ("o4" 33 40)
 ("o14" 7 44)
 ("o10" 26 44)
 ("o7" 1 48)
 ("u1" 39 48)
 ("o12" 43 49)
 ("o15" 41 53)
 ("o4" 43 53)
 ("u3" 34 57)
 ("o14" 45 61)
 ("o10" 52 62)
 ("o12" 60 64)
 ("o4" 56 66)
 ("o13" 36 68)
 ("u2" 54 68)
 ("o2" 63 68)
 ("o7" 49 71)
 ("o4" 67 75)
 ("o12" 68 77)
 ("o5" 41 78)
 ("o11" 45 78)
 ("o9" 61 81)
 ("o3" 49 82)
 ("o12" 78 84)
 ("u1" 49 88)
 ("u3" 65 89)
 ("o14" 73 90)
 ("o15" 54 92)
 ("o13" 69 92)
 ("o10" 87 100)
 ("u1" 89 103)
 ("u2" 69 106)
 ("o8" 14 117)
 ("o11" 79 133)
 ("o7" 79 144)
 ("o6" 78 150)
 ("o2" 104 150)
 ("o9" 106 152)
 ("o1" 90 165)
 ("o5" 100 178)
 ("o3" 102 181)
 ("u3" 90 189)
 ("o14" 91 212)
))
(21
 (
 ("o5" 1 17)
 ("o4" 14 21)
 ("o5" 19 21)
 ("o12" 3 23)
 ("o13" 27 29)
 ("o12" 24 30)
 ("o9" 16 31)
 ("o4" 24 34)
 ("u3" 15 38)
 ("o14" 26 42)
 ("o10" 33 43)
 ("o12" 41 45)
 ("o4" 37 47)
 ("o2" 44 49)
 ("o10" 47 49)
 ("o7" 30 52)
 ("o4" 48 56)
 ("o5" 22 59)
 ("o11" 26 59)
 ("o9" 42 62)
 ("o3" 30 63)
 ("o9" 63 64)
 ("o12" 59 65)
 ("o5" 60 65)
 ("u1" 30 69)
 ("u3" 46 70)
 ("o14" 54 71)
 ("o15" 35 73)
 ("o13" 50 73)
 ("o11" 63 79)
 ("o5" 68 84)
 ("o13" 85 86)
 ("u2" 50 87)
 ("o10" 84 88)
 ("u1" 88 89)
 ("o1" 57 91)
 ("o5" 85 99)
 ("o9" 87 104)
 ("o6" 31 110)
 ("o15" 91 111)
 ("u2" 88 115)
 ("u3" 75 118)
 ("o3" 98 118)
 ("o2" 50 130)
 ("o7" 55 135)
 ("o12" 79 137)
 ("o14" 72 144)
 ("o8" 48 152)
))
(22
 (
 ("o4" 6 13)
 ("u2" 6 14)
 ("o11" 1 17)
 ("o13" 17 18)
 ("o12" 16 22)
 ("o1" 12 23)
 ("o4" 16 26)
 ("u3" 7 30)
 ("o9" 13 33)
 ("u2" 27 33)
 ("o14" 18 34)
 ("o10" 25 35)
 ("o12" 33 37)
 ("o13" 36 37)
 ("o4" 29 39)
 ("o2" 36 41)
 ("o1" 33 42)
 ("o7" 22 44)
 ("o4" 40 48)
 ("o5" 14 51)
 ("o11" 18 51)
 ("o9" 34 54)
 ("o3" 22 55)
 ("o8" 41 56)
 ("o12" 51 57)
 ("o11" 52 60)
 ("u1" 22 61)
 ("u3" 38 62)
 ("o1" 53 62)
 ("o14" 46 63)
 ("o15" 27 65)
 ("o13" 42 65)
 ("o9" 55 66)
 ("u2" 42 79)
 ("o10" 39 80)
 ("o12" 59 81)
 ("o11" 63 81)
 ("o13" 81 82)
 ("o2" 63 84)
 ("u2" 81 90)
 ("o11" 83 90)
 ("o8" 84 97)
 ("u3" 71 99)
 ("o1" 80 100)
 ("o5" 52 113)
 ("o3" 56 133)
 ("u1" 62 133)
 ("o6" 63 139)
 ("o4" 84 143)
 ("o15" 81 148)
 ("o7" 76 151)
 ("o14" 64 152)
))
(23
 (
 ("o4" 4 11)
 ("o12" 14 20)
 ("o4" 14 24)
 ("u3" 5 28)
 ("o14" 16 32)
 ("o2" 9 33)
 ("o10" 23 33)
 ("o12" 31 35)
 ("u3" 32 35)
 ("o4" 27 37)
 ("o13" 28 39)
 ("o2" 34 39)
 ("o7" 20 42)
 ("o14" 33 42)
 ("o4" 38 46)
 ("o5" 12 49)
 ("o11" 16 49)
 ("o9" 32 52)
 ("o3" 20 53)
 ("o12" 49 55)
 ("o10" 53 55)
 ("u1" 20 59)
 ("u3" 36 60)
 ("o14" 44 61)
 ("o15" 25 63)
 ("o13" 40 63)
 ("o3" 54 67)
 ("u1" 60 70)
 ("o14" 62 74)
 ("u2" 40 77)
 ("u3" 69 82)
 ("o1" 77 84)
 ("o8" 69 88)
 ("o7" 43 93)
 ("o11" 50 97)
 ("o5" 83 97)
 ("u2" 78 106)
 ("o12" 66 131)
 ("o15" 64 132)
 ("o4" 71 133)
 ("o6" 72 145)
 ("o9" 70 150)
))
(24
 (
 ("u3" 5 6)
 ("o4" 6 13)
 ("o11" 1 17)
 ("o12" 16 22)
 ("o10" 21 24)
 ("o4" 16 26)
 ("u3" 7 30)
 ("o13" 2 33)
 ("o9" 24 33)
 ("o14" 18 34)
 ("o10" 25 35)
 ("o12" 33 37)
 ("o4" 29 39)
 ("u2" 23 41)
 ("o2" 36 41)
 ("o13" 40 41)
 ("o7" 22 44)
 ("o4" 40 48)
 ("o5" 14 51)
 ("o11" 18 51)
 ("o9" 34 54)
 ("o3" 22 55)
 ("o12" 51 57)
 ("u1" 22 61)
 ("o6" 11 62)
 ("u3" 38 62)
 ("o11" 52 62)
 ("o14" 46 63)
 ("o15" 27 65)
 ("o13" 42 65)
 ("u2" 42 79)
 ("o10" 56 79)
 ("o5" 54 80)
 ("o11" 66 87)
 ("o4" 51 92)
 ("o6" 71 96)
 ("o1" 16 100)
 ("o12" 90 102)
 ("o3" 96 104)
 ("o13" 74 109)
 ("o11" 91 109)
 ("u2" 80 122)
 ("o2" 81 122)
 ("o10" 95 123)
 ("o7" 68 144)
 ("o15" 66 154)
 ("o8" 70 165)
 ("u3" 94 196)
))
(25
 (
 ("o2" 7 26)
 ("o4" 19 26)
 ("o4" 27 28)
 ("o11" 9 30)
 ("o3" 27 34)
 ("o12" 29 35)
 ("o4" 29 39)
 ("u3" 20 43)
 ("o12" 43 45)
 ("o9" 25 46)
 ("o14" 31 47)
 ("o2" 36 48)
 ("o10" 38 48)
 ("o12" 46 50)
 ("o4" 42 52)
 ("o13" 25 54)
 ("o2" 49 54)
 ("o7" 35 57)
 ("o4" 53 61)
 ("o5" 27 64)
 ("o11" 31 64)
 ("o9" 47 67)
 ("o3" 35 68)
 ("o6" 22 69)
 ("o12" 64 70)
 ("u1" 35 74)
 ("u3" 51 75)
 ("o14" 59 76)
 ("o15" 40 78)
 ("o13" 55 78)
 ("o4" 71 78)
 ("o2" 64 86)
 ("u2" 55 92)
 ("o3" 75 93)
 ("o5" 80 94)
 ("o10" 94 96)
 ("o8" 18 101)
 ("u3" 76 104)
 ("o2" 91 115)
 ("o15" 79 132)
 ("u1" 75 143)
 ("o6" 89 145)
 ("o7" 94 163)
 ("o14" 77 164)
 ("o1" 77 167)
))
(26
 (
 ("o4" 1 8)
 ("o12" 6 10)
 ("o4" 9 10)
 ("o12" 11 17)
 ("o15" 9 21)
 ("o4" 11 21)
 ("u3" 2 25)
 ("o14" 13 29)
 ("o10" 20 30)
 ("o12" 28 32)
 ("o4" 24 34)
 ("u2" 17 36)
 ("o2" 31 36)
 ("o7" 17 39)
 ("o4" 35 43)
 ("o5" 9 46)
 ("o11" 13 46)
 ("o9" 29 49)
 ("o3" 17 50)
 ("o12" 46 52)
 ("o4" 44 53)
 ("u1" 17 56)
 ("u3" 33 57)
 ("o14" 41 58)
 ("o7" 45 59)
 ("o15" 22 60)
 ("o13" 37 60)
 ("o4" 65 73)
 ("u2" 37 74)
 ("o4" 83 98)
 ("o8" 86 103)
 ("o10" 59 110)
 ("o13" 61 114)
 ("o7" 99 116)
 ("o12" 63 120)
 ("o1" 41 121)
 ("o3" 71 123)
 ("o11" 64 128)
 ("o2" 41 133)
 ("u2" 84 140)
 ("o5" 73 146)
 ("o14" 98 147)
 ("o6" 80 196)
 ("o9" 95 196)
))
(27
 (
 ("o4" 21 28)
 ("o12" 14 29)
 ("o11" 13 32)
 ("o2" 32 34)
 ("o12" 31 37)
 ("o10" 6 39)
 ("o4" 31 41)
 ("o4" 42 43)
 ("u3" 22 45)
 ("o9" 41 48)
 ("o14" 33 49)
 ("o10" 40 50)
 ("u3" 46 52)
 ("o12" 48 52)
 ("o4" 44 54)
 ("u2" 37 56)
 ("o2" 51 56)
 ("o7" 37 59)
 ("o14" 58 60)
 ("o4" 55 63)
 ("o12" 53 64)
 ("o5" 29 66)
 ("o11" 33 66)
 ("o9" 49 69)
 ("o8" 22 70)
 ("o3" 37 70)
 ("o12" 66 72)
 ("u1" 37 76)
 ("u3" 53 77)
 ("o14" 61 78)
 ("o15" 42 80)
 ("o13" 57 80)
 ("o10" 54 90)
 ("o2" 91 93)
 ("u2" 57 94)
 ("o12" 76 94)
 ("o5" 67 100)
 ("o1" 23 102)
 ("u1" 77 107)
 ("o6" 85 110)
 ("o11" 67 113)
 ("o8" 85 135)
 ("o10" 96 137)
 ("o7" 71 177)
 ("o15" 81 179)
 ("o3" 101 192)
))
(28
 (
 ("o14" 2 10)
 ("o14" 11 17)
 ("o4" 2 18)
 ("o14" 20 22)
 ("o5" 17 26)
 ("o4" 19 26)
 ("o14" 26 30)
 ("o12" 29 35)
 ("o10" 9 37)
 ("o4" 29 39)
 ("o15" 32 39)
 ("o4" 40 41)
 ("u3" 20 43)
 ("o12" 36 45)
 ("o9" 19 46)
 ("o14" 31 47)
 ("o2" 24 48)
 ("o10" 38 48)
 ("o12" 46 50)
 ("o4" 42 52)
 ("o14" 48 52)
 ("o13" 27 53)
 ("u2" 4 54)
 ("o2" 49 54)
 ("o7" 35 57)
 ("o14" 55 58)
 ("o10" 49 60)
 ("o4" 53 61)
 ("o5" 27 64)
 ("o11" 31 64)
 ("o9" 47 67)
 ("o3" 35 68)
 ("o12" 64 70)
 ("u1" 35 74)
 ("u3" 51 75)
 ("o14" 59 76)
 ("o15" 40 78)
 ("o13" 55 78)
 ("o14" 77 81)
 ("o5" 72 83)
 ("o6" 1 85)
 ("o14" 83 87)
 ("o10" 65 91)
 ("o15" 79 91)
 ("u2" 55 92)
 ("o8" 75 94)
 ("o2" 75 97)
 ("u3" 76 97)
 ("o14" 89 97)
 ("o3" 69 98)
 ("o4" 75 107)
 ("o1" 25 112)
 ("o6" 87 149)
 ("u1" 75 154)
))
(29
 (
 ("u3" 18 19)
 ("o4" 19 26)
 ("o14" 19 30)
 ("o12" 29 35)
 ("o4" 29 39)
 ("o13" 23 41)
 ("u3" 20 43)
 ("o12" 36 45)
 ("o14" 31 47)
 ("o10" 38 48)
 ("o12" 46 50)
 ("o4" 42 52)
 ("o2" 49 54)
 ("o7" 35 57)
 ("o14" 52 58)
 ("o4" 53 61)
 ("o5" 27 64)
 ("o11" 31 64)
 ("o9" 47 67)
 ("o2" 63 67)
 ("o3" 35 68)
 ("o12" 64 70)
 ("u1" 35 74)
 ("u3" 51 75)
 ("o14" 59 76)
 ("o15" 40 78)
 ("o13" 55 78)
 ("o9" 77 90)
 ("u2" 55 92)
 ("o8" 16 93)
 ("o1" 34 98)
 ("o14" 89 100)
 ("o13" 81 102)
 ("o11" 65 115)
 ("u3" 93 115)
 ("o10" 74 117)
 ("o7" 70 119)
 ("o4" 62 125)
 ("o15" 87 132)
 ("o5" 65 134)
 ("u1" 75 143)
 ("o3" 77 161)
))
(30
 (
 ("o4" 7 14)
 ("o11" 10 18)
 ("o7" 15 22)
 ("o12" 17 23)
 ("o10" 9 25)
 ("o4" 17 27)
 ("u3" 8 31)
 ("o14" 19 35)
 ("o10" 26 36)
 ("o12" 34 38)
 ("o4" 30 40)
 ("o13" 24 42)
 ("o2" 37 42)
 ("o7" 23 45)
 ("o14" 36 46)
 ("o4" 41 49)
 ("o5" 15 52)
 ("o11" 19 52)
 ("o9" 35 55)
 ("o3" 23 56)
 ("o12" 52 58)
 ("u1" 23 62)
 ("o7" 46 62)
 ("u3" 39 63)
 ("o14" 47 64)
 ("o15" 28 66)
 ("o13" 43 66)
 ("o11" 53 66)
 ("o5" 53 67)
 ("u2" 43 80)
 ("u3" 70 81)
 ("u1" 68 88)
 ("o11" 77 91)
 ("o7" 77 95)
 ("o13" 81 97)
 ("o12" 74 98)
 ("o3" 82 101)
 ("o14" 81 104)
 ("o9" 73 120)
 ("o8" 65 121)
 ("o2" 86 126)
 ("o15" 67 127)
 ("o1" 71 130)
 ("o4" 75 164)
))
(31
 (
 ("o11" 9 13)
 ("o5" 8 24)
 ("o4" 17 24)
 ("o12" 2 26)
 ("o11" 21 26)
 ("o7" 7 32)
 ("o12" 27 33)
 ("u2" 3 35)
 ("o10" 13 35)
 ("o4" 27 37)
 ("u3" 18 41)
 ("o14" 29 45)
 ("o10" 36 46)
 ("u3" 42 48)
 ("o12" 44 48)
 ("o4" 40 50)
 ("o1" 22 51)
 ("u2" 38 52)
 ("o2" 47 52)
 ("o7" 33 55)
 ("o4" 51 59)
 ("o5" 25 62)
 ("o11" 29 62)
 ("o9" 45 65)
 ("o3" 33 66)
 ("o11" 63 67)
 ("o12" 62 68)
 ("o5" 63 69)
 ("u1" 33 72)
 ("u3" 49 73)
 ("o14" 57 74)
 ("o8" 63 75)
 ("o15" 38 76)
 ("o13" 53 76)
 ("o11" 77 81)
 ("u2" 53 90)
 ("o5" 77 91)
 ("o11" 91 95)
 ("u1" 73 106)
 ("o2" 70 107)
 ("o1" 77 107)
 ("o15" 77 109)
 ("u2" 91 111)
 ("o4" 83 123)
 ("o14" 75 135)
 ("o3" 76 143)
 ("o7" 84 179)
 ("o12" 92 191)
))
(32
 (
 ("u3" 3 5)
 ("o4" 12 19)
 ("o11" 21 23)
 ("o7" 11 27)
 ("o12" 22 28)
 ("o4" 22 32)
 ("u3" 13 36)
 ("o14" 24 40)
 ("o10" 31 41)
 ("o12" 39 43)
 ("u3" 42 43)
 ("o4" 35 45)
 ("u2" 13 47)
 ("o2" 42 47)
 ("o7" 28 50)
 ("o14" 41 51)
 ("o4" 46 54)
 ("o5" 20 57)
 ("o11" 24 57)
 ("o9" 40 60)
 ("o3" 28 61)
 ("o12" 57 63)
 ("u1" 28 67)
 ("u3" 44 68)
 ("o14" 52 69)
 ("o15" 33 71)
 ("o13" 48 71)
 ("u3" 71 72)
 ("o5" 60 80)
 ("u3" 79 80)
 ("u3" 82 83)
 ("o8" 43 85)
 ("u2" 48 85)
 ("u1" 81 85)
 ("o3" 62 87)
 ("u3" 88 89)
 ("u3" 90 91)
 ("u3" 92 93)
 ("o12" 64 94)
 ("u3" 97 98)
 ("u3" 99 101)
 ("o2" 61 104)
 ("o9" 73 107)
 ("o4" 60 113)
 ("o5" 95 113)
 ("o7" 88 136)
 ("o1" 51 151)
))
(33
 (
 ("o1" 2 11)
 ("u3" 9 13)
 ("o1" 12 18)
 ("o5" 1 20)
 ("o4" 13 20)
 ("o2" 16 23)
 ("o12" 23 29)
 ("o1" 20 30)
 ("o10" 17 31)
 ("o15" 12 33)
 ("o4" 23 33)
 ("u3" 14 37)
 ("o9" 9 40)
 ("o14" 25 41)
 ("o10" 32 42)
 ("o2" 35 42)
 ("o1" 35 43)
 ("o12" 40 44)
 ("o4" 36 46)
 ("u2" 10 48)
 ("o13" 41 48)
 ("o2" 43 48)
 ("o7" 29 51)
 ("o14" 42 52)
 ("o1" 44 54)
 ("o4" 47 55)
 ("o12" 55 57)
 ("o5" 21 58)
 ("o11" 25 58)
 ("o5" 59 60)
 ("o9" 41 61)
 ("o3" 29 62)
 ("o2" 54 64)
 ("o12" 58 64)
 ("u1" 29 68)
 ("u3" 45 69)
 ("o14" 53 70)
 ("o1" 56 71)
 ("o15" 34 72)
 ("o13" 49 72)
 ("u3" 70 76)
 ("o5" 61 79)
 ("o1" 72 79)
 ("o8" 35 85)
 ("o15" 73 85)
 ("u2" 49 86)
 ("o2" 74 86)
 ("o11" 59 87)
 ("o3" 63 87)
 ("o1" 82 88)
 ("o4" 67 91)
 ("u1" 81 91)
 ("o1" 90 100)
 ("o6" 45 101)
 ("u3" 87 105)
 ("o5" 81 116)
 ("o7" 91 123)
 ("u2" 87 143)
))
(34
 (
 ("o4" 9 16)
 ("u3" 6 17)
 ("o7" 18 21)
 ("o4" 17 24)
 ("o6" 1 27)
 ("o12" 27 33)
 ("o10" 5 35)
 ("o4" 27 37)
 ("o2" 24 38)
 ("u3" 18 41)
 ("o12" 34 43)
 ("o14" 29 45)
 ("o10" 36 46)
 ("o12" 44 48)
 ("o4" 40 50)
 ("u2" 36 52)
 ("o13" 45 52)
 ("o2" 47 52)
 ("o7" 33 55)
 ("o14" 55 56)
 ("o7" 56 58)
 ("o4" 51 59)
 ("o5" 25 62)
 ("o11" 29 62)
 ("o9" 45 65)
 ("o5" 63 65)
 ("o3" 33 66)
 ("o12" 62 68)
 ("o6" 30 71)
 ("u1" 33 72)
 ("u3" 49 73)
 ("o14" 57 74)
 ("o15" 38 76)
 ("o13" 53 76)
 ("o7" 75 78)
 ("u3" 74 80)
 ("u1" 81 85)
 ("o2" 65 87)
 ("u2" 53 90)
 ("o7" 92 97)
 ("o15" 77 99)
 ("o6" 72 102)
 ("o1" 1 103)
 ("o9" 66 104)
 ("o12" 87 107)
 ("o11" 63 110)
 ("u3" 85 119)
 ("u2" 95 151)
 ("o3" 81 158)
 ("o4" 97 164)
 ("o10" 97 184)
))
(35
 (
 ("o4" 1 8)
 ("o4" 9 10)
 ("o12" 11 17)
 ("o4" 11 21)
 ("u3" 2 25)
 ("o14" 13 29)
 ("o10" 20 30)
 ("o12" 28 32)
 ("o4" 24 34)
 ("o13" 19 36)
 ("o2" 31 36)
 ("o7" 17 39)
 ("o4" 35 43)
 ("o5" 9 46)
 ("o11" 13 46)
 ("o9" 29 49)
 ("o3" 17 50)
 ("o12" 46 52)
 ("u1" 17 56)
 ("u3" 33 57)
 ("o14" 41 58)
 ("o15" 22 60)
 ("o13" 37 60)
 ("o11" 47 63)
 ("u2" 37 74)
 ("u2" 93 95)
 ("o14" 93 104)
 ("o12" 78 113)
 ("o11" 86 127)
 ("u1" 57 128)
 ("o13" 87 131)
 ("o15" 82 132)
 ("o7" 40 133)
 ("o8" 100 141)
 ("o3" 57 148)
 ("u3" 94 153)
 ("o5" 62 157)
 ("o1" 71 166)
 ("o9" 65 178)
 ("o6" 105 209)
 ("o10" 112 224)
 ("o2" 119 242)
 ("o4" 118 243)
))
(36
 (
 ("o4" 18 25)
 ("o3" 15 33)
 ("o12" 28 34)
 ("o4" 28 38)
 ("o9" 40 41)
 ("u3" 19 42)
 ("o14" 30 46)
 ("o10" 37 47)
 ("u3" 43 49)
 ("o12" 45 49)
 ("o4" 41 51)
 ("o2" 48 53)
 ("o13" 52 53)
 ("o7" 34 56)
 ("o4" 52 60)
 ("o7" 57 60)
 ("o5" 26 63)
 ("o11" 30 63)
 ("o9" 46 66)
 ("o3" 34 67)
 ("o12" 63 69)
 ("o10" 57 72)
 ("u1" 34 73)
 ("u3" 50 74)
 ("o14" 58 75)
 ("o15" 39 77)
 ("o13" 54 77)
 ("o1" 16 82)
 ("u2" 54 91)
 ("o9" 90 91)
 ("o3" 70 110)
 ("o12" 72 110)
 ("u1" 75 117)
 ("o14" 76 136)
 ("o6" 58 139)
 ("u2" 92 145)
 ("o5" 65 150)
 ("o4" 98 156)
 ("o1" 88 157)
 ("o2" 73 166)
 ("o8" 83 167)
 ("o15" 82 174)
))
(37
 (
 ("o6" 2 4)
 ("o6" 6 7)
 ("o6" 10 11)
 ("o6" 12 13)
 ("o6" 14 16)
 ("o4" 10 17)
 ("o6" 18 19)
 ("o6" 20 21)
 ("o6" 22 24)
 ("o12" 20 26)
 ("o6" 26 28)
 ("o4" 20 30)
 ("o4" 31 32)
 ("o6" 31 32)
 ("u3" 11 34)
 ("o6" 33 35)
 ("o12" 32 36)
 ("o9" 4 37)
 ("o14" 22 38)
 ("o6" 36 38)
 ("o10" 29 39)
 ("o12" 37 41)
 ("o6" 40 41)
 ("o4" 33 43)
 ("o13" 33 45)
 ("o2" 40 45)
 ("o6" 42 45)
 ("o6" 46 47)
 ("o7" 26 48)
 ("o14" 39 49)
 ("o8" 12 51)
 ("o6" 50 51)
 ("o4" 44 52)
 ("o6" 52 53)
 ("o5" 18 55)
 ("o11" 22 55)
 ("o6" 54 55)
 ("o6" 56 57)
 ("o9" 38 58)
 ("o3" 26 59)
 ("o11" 56 59)
 ("o6" 59 60)
 ("o12" 55 61)
 ("o6" 62 64)
 ("u1" 26 65)
 ("u3" 42 66)
 ("o6" 65 66)
 ("o14" 50 67)
 ("o15" 31 69)
 ("o13" 46 69)
 ("o6" 70 72)
 ("o6" 73 74)
 ("o6" 77 80)
 ("o6" 81 82)
 ("o1" 21 83)
 ("u2" 46 83)
 ("o6" 85 88)
 ("o6" 89 90)
 ("o10" 85 94)
 ("o6" 92 94)
 ("o6" 95 96)
 ("o6" 98 99)
 ("o8" 63 100)
 ("o11" 93 104)
 ("o9" 61 108)
 ("u1" 83 110)
 ("o7" 49 120)
 ("o2" 86 133)
 ("o5" 66 165)
 ("o15" 91 173)
))
(38
 (
 ("o4" 8 15)
 ("o3" 6 23)
 ("u1" 11 23)
 ("o7" 13 23)
 ("o12" 18 24)
 ("o10" 15 26)
 ("o4" 18 28)
 ("u3" 9 32)
 ("o12" 25 34)
 ("o14" 20 36)
 ("o2" 26 37)
 ("o10" 27 37)
 ("o12" 35 39)
 ("o4" 31 41)
 ("u2" 19 43)
 ("o2" 38 43)
 ("o7" 24 46)
 ("o14" 37 47)
 ("o4" 42 50)
 ("o5" 16 53)
 ("o11" 20 53)
 ("o9" 36 56)
 ("o3" 24 57)
 ("o12" 53 59)
 ("u1" 24 63)
 ("u3" 40 64)
 ("o14" 48 65)
 ("o15" 29 67)
 ("o13" 44 67)
 ("o6" 49 72)
 ("u3" 65 80)
 ("u2" 44 81)
 ("o3" 58 89)
 ("o5" 73 91)
 ("o2" 77 93)
 ("o9" 57 108)
 ("o7" 70 113)
 ("u2" 82 122)
 ("o12" 84 129)
 ("o3" 90 141)
 ("o1" 97 141)
 ("o8" 80 166)
 ("o4" 100 168)
 ("u1" 95 176)
 ("o15" 93 184)
 ("o11" 101 189)
))
(39
 (
 ("o4" 20 27)
 ("o13" 2 29)
 ("o8" 23 33)
 ("u1" 27 35)
 ("o12" 30 36)
 ("o10" 3 38)
 ("o4" 30 40)
 ("u3" 21 44)
 ("o12" 40 46)
 ("o9" 43 47)
 ("o14" 32 48)
 ("o10" 39 49)
 ("u3" 45 51)
 ("o12" 47 51)
 ("o4" 43 53)
 ("o13" 30 55)
 ("o2" 50 55)
 ("u2" 51 55)
 ("o1" 7 57)
 ("o7" 36 58)
 ("o4" 54 62)
 ("o8" 53 64)
 ("o5" 28 65)
 ("o11" 32 65)
 ("o9" 48 68)
 ("o3" 36 69)
 ("o12" 65 71)
 ("o10" 50 74)
 ("u1" 36 75)
 ("u3" 52 76)
 ("o14" 60 77)
 ("o15" 41 79)
 ("o13" 56 79)
 ("o6" 18 84)
 ("u2" 56 93)
 ("o13" 80 100)
 ("o1" 65 105)
 ("o8" 89 106)
 ("o7" 63 108)
 ("o3" 87 111)
 ("o15" 96 117)
 ("o14" 85 118)
 ("o5" 66 122)
 ("o13" 101 122)
 ("o11" 68 124)
 ("o10" 81 129)
 ("u3" 93 132)
 ("o12" 103 134)
 ("o4" 104 154)
 ("o2" 93 175)
))
(40
 (
 ("o4" 7 9)
 ("o4" 11 18)
 ("o10" 15 23)
 ("o9" 7 26)
 ("o12" 21 27)
 ("o4" 21 31)
 ("u3" 12 35)
 ("o13" 15 36)
 ("o9" 35 38)
 ("o14" 23 39)
 ("o10" 30 40)
 ("o12" 38 42)
 ("o4" 34 44)
 ("o8" 38 44)
 ("o13" 40 46)
 ("o2" 41 46)
 ("o7" 27 49)
 ("o10" 41 49)
 ("o4" 45 53)
 ("o5" 19 56)
 ("o11" 23 56)
 ("o9" 39 59)
 ("o3" 27 60)
 ("o12" 56 62)
 ("u1" 27 66)
 ("u3" 43 67)
 ("o14" 51 68)
 ("o9" 60 69)
 ("o15" 32 70)
 ("o13" 47 70)
 ("o4" 66 72)
 ("o8" 68 74)
 ("o2" 47 76)
 ("o10" 63 77)
 ("o6" 54 82)
 ("u2" 47 84)
 ("o3" 82 86)
 ("o4" 84 86)
 ("o9" 75 88)
 ("o14" 69 95)
 ("o10" 89 102)
 ("o13" 74 106)
 ("o5" 57 111)
 ("o11" 69 112)
 ("u2" 85 128)
 ("u1" 67 129)
 ("o7" 50 130)
 ("o1" 56 148)
 ("u3" 76 155)
 ("o12" 82 156)
))
(41
 (
 ("o4" 7 14)
 ("o6" 6 16)
 ("o12" 17 23)
 ("o4" 17 27)
 ("o4" 28 29)
 ("u3" 8 31)
 ("o6" 21 34)
 ("o8" 22 34)
 ("o14" 19 35)
 ("o2" 16 36)
 ("o10" 26 36)
 ("o12" 34 38)
 ("o4" 30 40)
 ("u2" 11 42)
 ("o2" 37 42)
 ("o7" 23 45)
 ("o14" 36 46)
 ("o4" 41 49)
 ("o6" 36 50)
 ("o5" 15 52)
 ("o11" 19 52)
 ("o9" 35 55)
 ("o3" 23 56)
 ("o12" 52 58)
 ("u1" 23 62)
 ("u3" 39 63)
 ("o14" 47 64)
 ("o15" 28 66)
 ("o13" 43 66)
 ("o8" 54 69)
 ("o5" 53 71)
 ("o6" 57 71)
 ("o15" 67 75)
 ("u2" 43 80)
 ("o6" 81 98)
 ("o8" 90 103)
 ("o7" 46 121)
 ("o11" 59 121)
 ("u3" 64 122)
 ("o10" 92 122)
 ("o3" 57 127)
 ("u1" 69 132)
 ("o12" 71 139)
 ("o9" 91 150)
 ("o1" 90 162)
))
(42
 (
 ("o4" 9 16)
 ("o4" 17 18)
 ("o3" 16 24)
 ("o12" 19 25)
 ("o4" 19 29)
 ("u3" 10 33)
 ("o12" 26 35)
 ("o14" 21 37)
 ("o2" 16 38)
 ("o10" 28 38)
 ("o12" 36 40)
 ("o4" 32 42)
 ("o2" 39 44)
 ("o7" 25 47)
 ("o6" 41 49)
 ("o4" 43 51)
 ("o5" 17 54)
 ("o11" 21 54)
 ("o9" 37 57)
 ("o3" 25 58)
 ("o12" 54 60)
 ("u1" 25 64)
 ("o1" 33 65)
 ("u3" 41 65)
 ("o14" 49 66)
 ("o15" 30 68)
 ("o13" 45 68)
 ("o15" 69 73)
 ("o3" 59 77)
 ("u2" 45 82)
 ("o14" 92 95)
 ("o12" 73 96)
 ("o6" 79 99)
 ("o11" 55 106)
 ("o3" 91 110)
 ("u1" 77 111)
 ("o5" 85 111)
 ("o8" 42 120)
 ("o7" 108 120)
 ("o1" 100 125)
 ("u3" 68 154)
 ("o9" 73 157)
 ("o13" 69 182)
 ("o10" 79 193)
 ("u2" 91 200)
))
(43
 (
 ("u2" 3 10)
 ("o4" 4 13)
 ("o5" 5 17)
 ("o4" 14 21)
 ("u2" 14 22)
 ("o12" 22 23)
 ("o12" 24 30)
 ("o15" 20 34)
 ("o4" 24 34)
 ("u2" 28 37)
 ("u3" 15 38)
 ("o9" 39 41)
 ("o14" 26 42)
 ("o2" 27 43)
 ("o10" 33 43)
 ("o12" 41 45)
 ("o4" 37 47)
 ("o13" 6 49)
 ("u2" 41 49)
 ("o2" 44 49)
 ("o7" 30 52)
 ("o4" 48 56)
 ("o5" 22 59)
 ("o11" 26 59)
 ("o9" 42 62)
 ("o3" 30 63)
 ("o12" 59 65)
 ("u1" 30 69)
 ("u3" 46 70)
 ("o5" 63 70)
 ("o14" 54 71)
 ("o15" 35 73)
 ("o13" 50 73)
 ("o5" 76 84)
 ("u2" 50 87)
 ("u2" 92 93)
 ("o3" 64 95)
 ("o5" 90 98)
 ("u2" 97 102)
 ("o7" 53 105)
 ("o8" 70 110)
 ("u2" 104 111)
 ("o5" 106 113)
 ("u1" 70 115)
 ("o6" 48 125)
 ("o15" 82 127)
 ("o10" 86 127)
 ("o1" 84 159)
 ("o13" 80 160)
 ("o14" 98 164)
 ("u3" 97 183)
 ("o4" 103 186)
 ("o11" 95 206)
))
(44
 (
 ("o4" 0 7)
 ("o3" 13 15)
 ("o12" 10 16)
 ("o15" 4 20)
 ("o4" 10 20)
 ("o4" 21 22)
 ("u3" 1 24)
 ("o14" 12 28)
 ("o2" 14 29)
 ("o10" 19 29)
 ("o12" 27 31)
 ("o4" 23 33)
 ("o13" 22 35)
 ("u2" 22 35)
 ("o2" 30 35)
 ("o7" 16 38)
 ("o4" 34 42)
 ("o5" 8 45)
 ("o11" 12 45)
 ("o9" 28 48)
 ("o3" 16 49)
 ("o12" 45 51)
 ("o3" 50 54)
 ("u1" 16 55)
 ("u3" 32 56)
 ("o14" 40 57)
 ("o15" 21 59)
 ("o13" 36 59)
 ("u2" 36 73)
 ("o3" 64 76)
 ("o5" 46 77)
 ("o9" 51 78)
 ("o10" 59 82)
 ("o13" 61 84)
 ("o8" 48 92)
 ("u1" 66 101)
 ("o11" 89 102)
 ("o3" 90 106)
 ("o6" 69 110)
 ("o4" 75 113)
 ("u2" 84 117)
 ("o2" 73 133)
 ("u3" 94 140)
 ("o12" 72 142)
 ("o7" 72 147)
 ("o1" 88 154)
 ("o14" 68 168)
))
(45
 (
 ("o4" 8 15)
 ("o13" 17 18)
 ("o14" 14 19)
 ("o6" 3 20)
 ("o7" 18 23)
 ("o12" 18 24)
 ("o4" 18 28)
 ("u3" 9 32)
 ("o12" 25 34)
 ("o14" 20 36)
 ("o10" 27 37)
 ("o2" 28 37)
 ("u3" 33 39)
 ("o12" 35 39)
 ("o4" 31 41)
 ("o13" 40 42)
 ("o2" 38 43)
 ("o7" 24 46)
 ("o4" 42 50)
 ("o5" 16 53)
 ("o11" 20 53)
 ("o6" 26 54)
 ("o9" 36 56)
 ("o3" 24 57)
 ("o12" 53 59)
 ("u1" 24 63)
 ("u3" 40 64)
 ("o14" 48 65)
 ("o15" 29 67)
 ("o13" 44 67)
 ("o11" 54 68)
 ("o10" 38 69)
 ("o13" 68 69)
 ("o6" 58 77)
 ("u2" 44 81)
 ("o1" 56 81)
 ("o15" 68 83)
 ("o9" 57 85)
 ("o8" 37 87)
 ("o4" 51 88)
 ("o3" 58 90)
 ("o5" 60 91)
 ("u1" 64 91)
 ("o14" 66 93)
 ("o6" 82 98)
))
(46
 (
 ("o15" 3 9)
 ("o1" 9 17)
 ("o15" 15 22)
 ("o5" 13 27)
 ("o4" 20 27)
 ("o3" 13 28)
 ("o12" 25 29)
 ("o14" 11 31)
 ("o15" 25 32)
 ("o1" 26 34)
 ("u1" 10 35)
 ("o12" 30 36)
 ("o10" 37 38)
 ("o15" 35 39)
 ("o4" 30 40)
 ("u3" 21 44)
 ("o14" 32 48)
 ("o2" 29 49)
 ("o10" 39 49)
 ("o1" 40 51)
 ("o12" 47 51)
 ("o4" 43 53)
 ("o13" 30 55)
 ("o2" 50 55)
 ("o7" 36 58)
 ("o4" 54 62)
 ("o5" 28 65)
 ("o11" 32 65)
 ("o9" 48 68)
 ("o3" 36 69)
 ("o1" 59 69)
 ("o12" 65 71)
 ("u1" 36 75)
 ("u3" 52 76)
 ("o14" 60 77)
 ("o3" 70 78)
 ("o15" 41 79)
 ("o13" 56 79)
 ("o15" 80 84)
 ("o1" 80 86)
 ("u2" 56 93)
 ("o1" 89 93)
 ("o15" 88 97)
 ("o9" 69 98)
 ("o11" 70 99)
 ("o7" 59 103)
 ("o10" 84 103)
 ("o4" 64 114)
 ("u3" 77 120)
 ("o14" 78 124)
 ("o8" 56 126)
 ("u1" 81 134)
 ("o6" 74 145)
))
(47
 (
 ("o4" 2 9)
 ("o12" 12 18)
 ("o4" 12 22)
 ("u3" 3 26)
 ("o9" 8 29)
 ("o14" 14 30)
 ("o10" 21 31)
 ("o12" 29 33)
 ("u3" 30 33)
 ("o4" 25 35)
 ("o2" 32 37)
 ("o10" 34 38)
 ("o7" 18 40)
 ("o4" 36 44)
 ("o5" 10 47)
 ("o11" 14 47)
 ("o9" 30 50)
 ("o3" 18 51)
 ("o12" 47 53)
 ("u1" 18 57)
 ("u3" 34 58)
 ("o14" 42 59)
 ("o15" 23 61)
 ("o13" 38 61)
 ("o10" 66 68)
 ("u2" 38 75)
 ("o5" 64 90)
 ("o10" 96 99)
 ("o3" 80 103)
 ("o2" 80 104)
 ("o8" 1 108)
 ("o6" 102 114)
 ("o1" 94 123)
 ("o15" 74 130)
 ("o14" 75 132)
 ("o13" 68 143)
 ("o11" 72 152)
 ("u3" 110 155)
 ("o12" 72 156)
 ("u1" 84 156)
 ("u2" 91 166)
 ("o4" 77 189)
 ("o8" 109 205)
 ("o7" 97 207)
))
(48
 (
 ("o11" 5 7)
 ("o11" 12 15)
 ("o11" 19 21)
 ("o4" 15 22)
 ("o5" 17 22)
 ("o12" 25 31)
 ("o4" 25 35)
 ("u3" 16 39)
 ("u2" 4 40)
 ("o9" 7 42)
 ("o14" 27 43)
 ("o2" 17 44)
 ("o10" 34 44)
 ("o12" 42 46)
 ("o6" 29 47)
 ("o4" 38 48)
 ("o13" 7 50)
 ("o2" 45 50)
 ("u2" 46 50)
 ("o7" 31 53)
 ("o4" 49 57)
 ("o5" 23 60)
 ("o11" 27 60)
 ("o9" 43 63)
 ("o3" 31 64)
 ("o11" 64 65)
 ("o12" 60 66)
 ("u1" 31 70)
 ("u3" 47 71)
 ("o11" 70 71)
 ("o14" 55 72)
 ("o15" 36 74)
 ("o13" 51 74)
 ("o11" 77 79)
 ("o8" 5 83)
 ("o11" 82 83)
 ("u2" 51 88)
 ("o11" 89 91)
 ("o9" 64 92)
 ("u1" 71 92)
 ("o11" 97 98)
 ("o6" 81 102)
 ("o11" 104 105)
 ("o11" 113 114)
 ("o15" 102 116)
 ("o1" 54 124)
 ("o14" 73 126)
 ("o2" 80 132)
 ("u2" 108 137)
 ("o13" 75 142)
 ("o9" 102 144)
 ("o5" 91 165)
 ("o8" 88 170)
 ("o7" 54 173)
 ("o4" 101 197)
 ("o12" 110 200)
 ("o10" 83 208)
))
(49
 (
 ("o4" 29 36)
 ("o12" 23 38)
 ("o4" 37 38)
 ("o3" 24 44)
 ("o12" 39 45)
 ("o10" 42 47)
 ("o4" 39 49)
 ("u3" 30 53)
 ("o9" 35 56)
 ("o14" 41 57)
 ("o10" 48 58)
 ("o12" 56 60)
 ("o4" 52 62)
 ("u2" 41 64)
 ("o2" 59 64)
 ("o7" 45 67)
 ("o4" 63 71)
 ("o5" 37 74)
 ("o11" 41 74)
 ("o9" 57 77)
 ("o3" 45 78)
 ("o12" 74 80)
 ("u1" 45 84)
 ("u3" 61 85)
 ("o14" 69 86)
 ("o4" 80 87)
 ("o15" 50 88)
 ("o13" 65 88)
 ("u2" 65 102)
 ("o6" 31 111)
 ("o7" 74 117)
 ("o14" 87 117)
 ("o8" 95 121)
 ("o3" 96 128)
 ("o5" 99 151)
 ("u3" 86 154)
 ("o2" 98 155)
 ("u1" 85 162)
 ("o1" 97 175)
 ("o11" 90 180)
))
